package interfaces.gestores;

import interfaces.IProducto;
import tdg.contract.semanticAnnotations.Model;
import tdg.contract.semanticAnnotations.Query;
import tdg.contract.semanticAnnotations.Pre;
import tdg.contract.semanticAnnotations.Pos;

@Model
public interface IGestorProductosModel {
	/* Dice si un producto se encuentra en la lista de productos activos */
	@Query
	@Pre ({"p!=null #NullPointerException"})
	public boolean estaProducto(IProducto p);
}
